A complete axiomatization of Euclidean strong non-contingency logic
نویسندگان
چکیده
This article provides a complete axiomatization for strong non-contingency logic over Euclidean frames, whose completeness proof is nontrivial. Our result answers an open question raised in [3].
منابع مشابه
Almost Necessary
A formula is contingent if it is possibly true and possibly false. A formula is noncontingent if it is not contingent, i.e., if it is necessarily true or necessarily false. In an epistemic setting, ‘a formula is contingent’ means that you are ignorant about its value, whereas ‘a formula is non-contingent’ means that you know whether it is true. Although non-contingency is definable in terms of ...
متن کاملDistributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملComplete axiomatization of a relative modal logic with composition and intersection
We consider the question of the complete axiomatization of a relative modal logic with composition and intersection.
متن کاملCompleteness and Definability in the Logic of Noncontingency
Hilbert-style axiomatic systems are presented for versions of the modal logics KΣ, where Σ ⊆ {D,4,5}, with non-contingency as the sole modal primitive. The classes of frames characterized by the axioms of these systems are shown to be first-order definable, though not equal to the classes of serial, transitive, or euclidean frames. The canonical frame of the non-contingency logic of any logic c...
متن کاملWeakly complete axiomatization of exogenous quantum propositional logic
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical reasoning. The proof is carried out using a non trivial extension of the Fagin-Halpern-Megiddo technique together with three Henkin style completions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017